Free shipping on all orders! No minimum purchase required.
Logic Program Synthesis and Transformation
by Tim P. Clement (Editor), K. L. Lau (Editor), C. J. van Rijsbergen (Editor)
by Kung-Kiu Lau (Editor), Tim P. Clement (Editor)
